Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Formal Logical Methods for System Security and Correctness

 Автор: , Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 1.73 Mb